Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
951	return to updates GALACTIC PROOF of my QUANTUM SPIN MODEL Add to Reading List Source URL: milesmathis.com Language: English - Date: 2011-12-22 21:48:56 Quantum field theory Optics Photons Introduction to quantum mechanics Spin Electron Virtual particle Gamma ray Diffusion damping Physics Quantum electrodynamics Spintronics
952	Interpolation for a sequent calculus of generalized quantiers Natasha Alechina FWI, University of Amsterdam Pl. Muidergracht 24, 1018 TV Amsterdam The Netherlands Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-27 15:47:34 Mathematics Sequent calculus First-order logic Function Cut-elimination theorem Natural deduction Sequent Mathematical logic Proof theory Logic
953	Automatic Certification of Heap Consumption Lennart Beringer1 , Martin Hofmann2 , Alberto Momigliano1 , Olha Shkaravska2 1 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-26 13:56:22 Deduction Logic in computer science Proof theory Geometric group theory Field theory Valuation Sheaf Contraction Entailment Abstract algebra Logic Mathematics
954	Banach J. Math. Anal[removed]), no. 2, 9–15 Banach Journal of Mathematical Analysis ISSN: [removed]electronic) http://www.math-analysis.org Add to Reading List Source URL: www.emis.de Language: English - Date: 2009-02-16 06:06:35 Multiple integral Multivariable calculus Integral Operator theory Proof that π is irrational Μ operator Mathematical analysis Mathematics Integral calculus
955	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
956	THE GAPS IN ROGERS’ PROOF OF IDENTIFIABILITY OF THE GTR+Γ+I MODEL ´ ´ AND JOHN A. RHODES ELIZABETH S. ALLMAN, CECILE Add to Reading List Source URL: www.dms.uaf.edu Language: English - Date: 2010-11-22 21:44:40 Parameter Maximum likelihood Function Logarithm Mathematics Estimation theory Identifiability
957	IS SET THEORY INDISPENSABLE? NIK WEAVER Abstract. Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theorists have known for decades that virtual Add to Reading List Source URL: www.math.wustl.edu Language: English - Date: 2014-05-11 23:50:17 Z notation Cardinal numbers Philosophy of mathematics Forcing Zermelo–Fraenkel set theory Von Neumann universe Finite set Continuum hypothesis Foundations of mathematics Mathematical logic Mathematics Set theory
958	Rational Functions With Nonnegative Integer Coeﬃcients Ira Gessel Brandeis University Waltham, MA[removed]removed] Add to Reading List Source URL: people.brandeis.edu Language: English - Date: 2003-04-06 14:35:24 Combinatorics Factorial Number theory Rational function Binomial coefficient Proof that π is irrational Mathematics Mathematical analysis Integer sequences
959	Proof-Theoretic and Higher-Order Extensions of Logic Programming Alberto Momigliano1,2 and Mario Ornaghi1 1 Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-30 09:07:46 Proof theory Metalogic Model theory Formal languages Deduction Curry–Howard correspondence Standard ML Sequent calculus Symbol Logic Mathematics Mathematical logic
960	SCOOPING THE LOOP SNOOPER A proof that the Halting Problem is undecidable Geoffrey K. Pullum School of Philosophy, Psychology and Language Sciences, University of Edinburgh No general procedure for bug checks succeeds. Add to Reading List Source URL: oldblog.computationalcomplexity.org Language: English - Date: 2009-05-18 12:12:50 Computability theory Computing Theory of computation Halting problem Infinite loop Software bugs Computer programming Mathematics

UPDATE